81![Automated Grading of DFA Constructions ∗ Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science Automated Grading of DFA Constructions ∗ Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science](https://www.pdfsearch.io/img/131e412eb4dad670661e6c2631a8d1f8.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2013-04-24 11:35:08
|
---|
82![Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh] Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh]](https://www.pdfsearch.io/img/8be76d2d208f29a3633ae93ad6e3dc14.jpg) | Add to Reading ListSource URL: www.eecs.berkeley.eduLanguage: English - Date: 2013-09-22 01:23:29
|
---|
83![A How Can Automatic Feedback Help Students Construct Automata? LORIS D’ANTONI, University of Pennsylvania DILEEP KINI, University of Illinois at Urbana-Champaign RAJEEV ALUR, University of Pennsylvania A How Can Automatic Feedback Help Students Construct Automata? LORIS D’ANTONI, University of Pennsylvania DILEEP KINI, University of Illinois at Urbana-Champaign RAJEEV ALUR, University of Pennsylvania](https://www.pdfsearch.io/img/33836719b3948ef79a73ca098b717ea6.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2015-03-11 17:28:03
|
---|
84![Automated Grading of DFA Constructions Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science Automated Grading of DFA Constructions Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science](https://www.pdfsearch.io/img/bbda5a9c687088514d41fee9049acce5.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2013-05-16 00:14:15
|
---|
85![15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois 15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois](https://www.pdfsearch.io/img/7ef9971c45384d0b600c61c806167b10.jpg) | Add to Reading ListSource URL: www.cs.rice.eduLanguage: English - Date: 2013-01-28 13:27:14
|
---|
86![Milo M. K. Martin Curriculum Vitae March 9, 2014 Computer and Information Sciences Department University of Pennsylvania Milo M. K. Martin Curriculum Vitae March 9, 2014 Computer and Information Sciences Department University of Pennsylvania](https://www.pdfsearch.io/img/e08ebaa35bc693698752952d9ad5a746.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2014-03-09 21:15:26
|
---|
87![Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR](https://www.pdfsearch.io/img/fb86dcea875f09a6757db41ad0b982d7.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2014-03-05 17:26:28
|
---|
88![FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania](https://www.pdfsearch.io/img/b427b3c2da0b7382ce076baa5ce346ce.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2008-12-22 08:01:06
|
---|
89![CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models ∗ Sebastian Burckhardt Rajeev Alur CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models ∗ Sebastian Burckhardt Rajeev Alur](https://www.pdfsearch.io/img/1a93031f35a069246c0b1be467b0b9a5.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2007-03-26 08:41:48
|
---|
90![Regular Functions Rajeev Alur University of Pennsylvania 1 Regular Functions Rajeev Alur University of Pennsylvania 1](https://www.pdfsearch.io/img/ff25236b51a9f17790a37c14011a2748.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2014-10-13 10:13:47
|
---|